退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从基于断言的验证到基于断言的综合
Oddos, Y.; Morin-Allory, K.; Borrione, D.;
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:从基于断言的验证到基于断言的合成
机译:基于动态声明的SystemC验证
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:用于基于断言的设备验证的系统,方法和介质
机译:在基于断言的逻辑设计验证中处理断言的方法和装置
机译:在基于断言的逻辑设计验证中处理断言的方法和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。